How useful is the UML profile SPT without Semantics?
نویسندگان
چکیده
The UML Profile for Scheduling, Performance and Time (SPT) defines a set of concepts useful for modeling real-time systems. Its purpose is to integrate notation used by existing real-time analysis techniques into UML in order to 1. Enable the construction of models that could be used to make quantitative predictions regarding these characteristics. 2. Facilitate communication of design intent between developers in a standard way. 3. Enable inter-operability between various analysis and design tools.” (pp. 1-1 of SPT)
منابع مشابه
cmUML - A UML based Framework for Formal Specification of Concurrent, Reactive Systems
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport’s transition axiom method is a formal specification method which combines axiomatic and operational approaches. On the other hand Unified Modeling Language (UML), a de facto industry standard visual language, lacks suitable constructs and semantics regarding concurre...
متن کاملExperimental Evaluation of the UML Profile for Schedulability, Performance, and Time
We present a performance engineering methodology based upon the construction and solution of performance models generated mechanically from UML sequence diagrams, annotated using the UML Profile for Schedulability, Performance and Time (SPT). The target platform for the performance analysis is the Labelled Transition System Analyser (LTSA) tool which supports model solution via discrete-event s...
متن کاملComparing two UML Profiles for Non-functional Requirement Annotations: the SPT and QoS Profiles
The paper compares two UML Profiles adopted by OMG for annotating non-functional requirements of software systems: the UML Profile for Schedulability, Performance and Time (SPT) formally adopted in 2003 and the recently emerging UML Profile for Modeling Quality of Service and Fault Tolerance Characteristics and Mechanisms (QoS). The SPT Profile was the first attempt to extend UML with basic tim...
متن کاملThe “ UML Profile for Schedulability , Performance and Time ” in the Schedulability Analysis and Modeling of Real - Time Distributed Systems 1
In this paper we address some aspects of the “UML Profile for Schedulability, Performance and Time” (SPT), that have been found to be improvable. In particular, we describe problems and possible solutions related to the usage of the profile in the representation of schedulability analysis models for real-time distributed systems. The issues appear mainly from a comparison between the SPT and th...
متن کاملBuilding a UML Profile for MultiTEL
A UML profile for a system or an application is a standard means for expressing the semantics of this system or application using a set of predefined extensions to UML. UML profiles allow all stakeholders of a system to share a common graphical notation and vocabulary, and permit more precise specifications and better documentation on how to use and customize systems. In this paper we present a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2004